property verification method 属性验证方法
File System Property Verification 文件系统性质验证
Verification Intellectual Property 公司的验证知识产权
Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
A solution for property verification of synchronous VHDL design is introduced, and VERIS an efficient symbolic model checker is implemented.
介绍了一个针对同步时序电路VHDL设计的性质验证的解决方案——一个有效的符号模型判别器veris。
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.
分析一个二进制代码的通常方式有以下几个阶段：反汇编，过程抽象，控制流程图生成，数据流分析和签名验证。
应用推荐